例文Programming language compilers use fixed point computations for program analysis, for example in data-flow analysis, which is often required for code optimization.